COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.PORTION TITLEPAGE
C00005 ENDMK
C⊗;
.DEVICE XGP
.!XGPCOMMANDS←"/TMAR=50/PMAR=2100/BMAR=50"

.FONT 1 "BASL30"
.FONT 2 "SIGN57"
.FONT 3 "SHD40"
.FONT 4  "BASI30"
.FONT 5 "BASB30"
.FONT 6  "BDR40"
.FONT 7  "NGR20"
.TURN ON "⊗" FOR "%"
.TURN ON "↑↓_π{"
.PAGE FRAME 47 HIGH 89 WIDE
.AREA TEXT LINES 4 TO 45
.AREA HEADING LINES 1 TO 3
.AREA FOOTING LINE 48
.!XGPLFTMAR←180
.SPACING 50 MILLS
.PREFACE 150 MILLS
.NOFILL
.PREFACE 75 MILLS
.FILL
.NEXT PAGE
.PAGE←0
.PORTION TITLEPAGE
.NOFILL
.BEGIN CENTER RETAIN
.BEGIN SELECT 2 PREFACE 175 MILLS
.GROUP SKIP 2

AUTOMATED
THEORY FORMATION
IN MATHEMATICS

.END





⊗6Douglas B. Lenat⊗*



.SELECT 3
STANFORD UNIVERSITY
ARTIFICIAL INTELLIGENCE LABORATORY
.SELECT 1












⊗1Ph.D. Dissertation Research Proposal⊗*

⊗4Fourth Sketch: {DATE}⊗*

⊗7Not for distribution⊗*
.END